- abbreviate notation
- Математика: сокращать обозначение
Универсальный англо-русский словарь. Академик.ру. 2011.
Универсальный англо-русский словарь. Академик.ру. 2011.
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Wikipedia:Manual of Style — This guideline is a part of the English Wikipedia s Manual of Style. Use common sense in applying it; it will have occasional exceptions. Please ensure that any edits to this page reflect consensus. Shortcuts … Wikipedia
Principia Mathematica — For Isaac Newton s book containing basic laws of physics, see Philosophiæ Naturalis Principia Mathematica. The title page of the shortened version of the Principia Mathematica to *56. The Principia Mathematica is a three volume work on the… … Wikipedia
Location arithmetic — (Latin arithmeticæ localis ) is a technique to do binary arithmetic using a chessboard like grid. John Napier termed the technique in his treatise Rabdology , from the way that positions of counters on the board represented numbers.Using simple… … Wikipedia
Wikipedia:Manual of Style/Dates and numbers — Shortcuts: WP:MOSNUM WP:DATE MOS:NUM This page is part of the Ma … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Baseball scorekeeping — is a shorthand method of recording the details of a baseball game. Scorekeeping is done by the official scorer to document a game, as well as by fans for their own enjoyment. Henry Chadwick and, to a lesser extent, MJ Kelly are responsible for… … Wikipedia
Light characteristic — Symbols and abbreviations for light characteristics A light characteristic is a graphic and text description of a navigational light sequence or colour displayed on a nautical chart or in a Light List with the chart symbol for a lighthouse,… … Wikipedia
Binary prefix — Prefixes for bit and byte multiples Decimal Value SI 1000 k kilo 10002 M mega … Wikipedia
Lambda calculus — In mathematical logic and computer science, lambda calculus, also written as λ calculus, is a formal system designed to investigate function definition, function application and recursion. It was introduced by Alonzo Church and Stephen Cole… … Wikipedia
Continued fraction — Finite continued fraction, where a0 is an integer, any other ai are positive integers, and n is a non negative integer. In mathematics, a continued fraction is an expression obtained through an iterative process of representing a number as the… … Wikipedia